Canonical Kripke Models and the Intuitionistic Semantics of Logic Programs
نویسنده
چکیده
Motivated by the problem of extending stable semantics (SS) and well-founded semantics (WFS) while avoiding their drawbacks, we propose a new simple and intuitive semantics for (normal) logic programs, called canonical Kripke model semantics. Our approach is based on formulating stability in an intuitionistic framework which helps us overcome several drawbacks. As a consequence, every normal program has a unique \intended" canonical Kripke model. The canonical Kripke model semantics is a proper extension of SS and WFS, and it avoids the drawbacks associated with SS and WFS. The canonical Kripke model of a normal program exactly captures the 3-valued autoepis-temic consequences of the associated AE theory, and can be obtained as the greatest xpoint of a deeationary operator K P deened on Kripke structures.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملTopological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the natural extension to topological Kripke frames. Fischer Servi’s two interaction conditions relating the intuitionistic pre-order (or partial-order) with the modal accessibility relation generalise to the requirement that the relation and its inverse be lower semi-contin...
متن کاملOn intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations
We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the natural extension to topological Kripke frames. Fischer Servi’s two interaction conditions relating the intuitionistic pre-order (or partial-order) with the modal accessibility relation generalise to the requirement that the relation and its inverse be lower semi-contin...
متن کاملA Simplified Semantics for a Fragment of Intuitionistic Linear Logic
We introduce a simplified Kripke type semantics for the {→,∧, ∗, !,1}-fragment of intuitionistic linear logic, and prove a completeness theorem with respect to the semantics by using a simple and intuitive canonical model.
متن کاملRelational semantics for full linear logic
Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic. In [DGP05] it is shown that the theory of relational semantics is also available in the more general setting of substructural logic, at least in an algebraic guise. Building on these ideas, in [Geh06] a type of frames is described which generalise Kripke frames and provide semant...
متن کامل